Plaidoyer pour l’instauration d’une procédure d’examen des questions prioritaires de constitutionnalité en urgence

Field, une procédure de décision pour les nombres réels en Coq

Nous nous proposons d'automatiser les preuves d'égalités sur les nombres réels dans le système Coq en utilisant la théorie des corps commutatifs. L'idée de l'algorithme consiste à se débarrasser des inverses a n de pouvoir se brancher sur la procédure de décision déjà existante sur les anneaux abéliens (Ring). L'élimination des inverses se fait de manière complètement ré exive et la ré exion es...

Vérification d'invariants pour des systèmes spécifiés en logique de réécriture

We present an approach based on inductive theorem proving for verifying invariants of dynamic systems specified in rewriting logic, a formal specification language implemented in the Maude system. An invariant is a property that holds on all the states that are reachable from a given class of initial states. Our approach consists in encoding the semantic aspects that are relevant for our task (...

De l'usage des logiques modales pour la gestion de l'incertitude des données : Application en archéologie

Archaeological information systems offer methods and tools for representing collected data and performing analyses with which taking into account imperfect data is often hard to please. Our contribution describes the use of several modal logics to model and verify the effects of the consideration of uncertain data, but also to check the quality of a corpus in an interdisciplinary collaborative ...

Introduction a l'etude de salmonella et des salmonelloses en Iran

Modélisation de HMM en contexte avec des arbres de décision pour la reconnaissance de mots manuscrits

This paper presents an HMM-based recognizer for the off-line recognition of handwritten words. Word models are the concatenation of context-dependent character models: the trigraphs. Due to the large number of possible context-dependent models to compute, a clustering is applied on each state position, based on decision trees. Our system is shown to perform better than a baseline context indepe...